تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۸,۲۳ ثانیه یافت شد.

1. Runtime verificatio

المؤلف: / Saddek Bensalem, Doron A. Peled (eds.)

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses

رده :

QA

,

76

.

76

,.

V47

,

R88

,

2009

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها